finite presentation

有限表示